ADOPT: An augmented set-based design framework with optimisation
نویسندگان
چکیده
منابع مشابه
Helping Programmers to Adopt Set-Based Specifications
Set theory is a key component of formal notations such as B, Z and Alloy. Set-based specifications are short while precise enough as to start the implementation. However, according to our experience, practitioners without a mathematical background find difficulties in using them. In this paper we propose the set-based programming language {log} as an aid to teach programmers to write set-based ...
متن کاملDesign of a Component-Based Augmented Reality Framework
In this paper, we propose a new approach to building augmented reality (AR) systems using a component-based software framework. This has advantages for all parties involved with AR systems. A project manager can reuse existing components in new applications; an end user can reconfigure his system by plugging modules together; an application developer can view the system at a high level of abstr...
متن کاملTowards an on-line optimisation framework
(2/( FRQVRUWLXP HROH#WKDOHVJURXS FRP 7+$/(6 5HVHDUFK DQG 7HFKQRORJ\ 6LPRQ GH *LYU\ <RXVVHI +DPDGL -XOLHWWH 0DWWLROL 3KLOLSSH *pUDUG 21(5$ '6&' 0LFKHO /HPDvWUH *pUDUG 9HUIDLOOLH &26<7(& $EGHUUDKPDQH $JJRXQ ,GLU *RXDFKL %28<*8(6 H ODE 7KLHUU\ %HQRLVW (ULF %RXUUHDX )UDQoRLV /DEXUWKH (FROH GHV 0LQHV GH 1DQWHV 3KLOLSSH 'DYLG 6DPLU /RXGQL )UDQFH 7pOpFRP 5 ' 6HUJH %RXUJDXOW Abstract This paper is a su...
متن کاملLive TV-Set with mobile Augmented Reality
To interact as audience to a live television production is today a common procedure. New is to use Augmented Reality support to reach the audience at home. Also new is the situation to have many Television Sets at private houses connected with the internet. Both are offering lots of possibilities for interactive live television productions. The author shows current productions, a by himself pro...
متن کاملCFD-Based Shape Optimisation with Grid-Enabled Design Search Toolkits
This paper presents an application of applying Grid computing technologies in the field of engineering design optimisation using computational fluid dynamics (CFD). Three essential elements in CFD-based shape optimisation problems (CAD, mesh generation, and solution) are integrated and automated within the Matlab scripting environment augmented with Grid-enabled computation and database toolkit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Design Science
سال: 2019
ISSN: 2053-4701
DOI: 10.1017/dsj.2019.1